New Dimensions on Translations Between Logics
نویسندگان
چکیده
After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: conservative translations, transfers and contextual translations. Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another.
منابع مشابه
Bijective Faithful Translations among Default Logics
In this article, we study translations between variants of defaults logics such that the extensions of the theories that are the input and the output of the translation are in a bijective correspondence. We assume that a translation can introduce new variables and that the result of translating a theory can either be produced in time polynomial in the size of the theory or its output is of size...
متن کاملA bimodal perspective on possibility semantics
In this paper we develop a bimodal perspective on possibility semantics, a framework allowing partiality of states that provides an alternative modeling for classical propositional and modal logics [Humberstone, 1981, Holliday, 2015a]. In particular, we define a full and faithful translation of the basic modal logic K over possibility models into a bimodal logic of partial functions over partia...
متن کاملHeads and Phrases. Type Calculus for Dependency and Constituent Structure
From a logical perspective, categorial type systems can be situated within a landscape of substructural logics | logics with a structure-sensitive consequence relation. Research on these logics has shown that the inhabitants of the substructural hierarchy can be systematically related by embedding translations on the basis of structural modalities. The modal operators offer controlled access to...
متن کاملTowards Logical Frameworks in the Heterogeneous Tool Set Hets
LF is a meta-logical framework that has become a standard tool for representing logics and studying their properties. Its focus is proof theoretic, employing the Curry-Howard isomorphism: propositions are represented as types, and proofs as terms. Hets is an integration tool for logics, logic translations and provers, with a model theoretic focus, based on the meta-framework of institutions, a ...
متن کاملCdd: 511.3 towards a Stronger Notion of Translation between Logics1
The concept of translation between logics was originally introduced in order to prove the consistency of a logic system in terms of the consistency of another logic system. The idea behind this is to interpret (or to encode) a logic into another one. In this survey we address the following question: Which logical properties a (strong) logic translation should preserve? Several approaches to the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logica Universalis
دوره 3 شماره
صفحات -
تاریخ انتشار 2009